include Cross_product_intf.Cross_product
